The correctness problem in computer science

Författare
(Edited by R.S. Boyer and J. Strother Moore.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Academic P. 1981 Storbritannien, London 279 sidor.